es{-}le{-}interface\{i:l\}(${\it es}$; $X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}local{-}le{-}pred\{i:l\}(${\it es}$; ($\lambda$$e$.$e$ $\in_{b}$ $X$))